Axiom A - PDFSEARCH.IO - Document Search Engine

Axiom A
Results: 172

#	Item
61	Mental models and consistency P.N. Johnson-Laird In Bertram Gawronski and Fritz Strack (Eds.): Cognitive Consistency: A Unifying Concept in Social Psychology, New York: Guilford Press, Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-04-30 00:32:02 Philosophical logic Propositional calculus Philosophy of science Mathematical logic Marxist theory Mental model Assertion Contradiction Axiom Logic Science Ethology
62	The computer (as a medium) in (the philosophy of) mathematics L. De Mol The computer (as a medium) in (the philosophy of ) mathematics Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 05:30:29 Mathematics Axiom Philosophy of science Logic Philosophy Mathematical logic Science Knowledge Philosophy of mathematics
63	On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:33:45 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
64	HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-21 11:45:28 Logic in computer science HOL Type theory Function Axiom Isabelle Axioms of set theory Mathematics Mathematical logic Logic
65	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics
66	Zoe Adams-Lau A Contentious Axiom: Romeo and Juliet vis-à-vis Othello … Rhetorical Dichotomy or Equality Critical Response ANNOTATED BIBLIOGRAPHY Add to Reading List Source URL: www.boardofstudies.nsw.edu.au Language: English - Date: 2008-04-16 19:37:02 Titus Andronicus Critical thinking Narratology Rhetoric William Shakespeare Arts Romeo and Juliet on screen Othello Hildegard Hammerschmidt-Hummel Shakespearean tragedies Literature Theatre
67	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:13 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
68	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
69	A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-07-10 18:23:49 Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems
70	A General System for Learning and Reasoning in Symbolic Domains Claes Stranneg˚ard1 , Abdul Rahim Nizamani2 , and Ulf Persson3 1 Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Add to Reading List Source URL: agi-conf.org Language: English - Date: 2014-08-18 09:36:06 Logic in computer science Functions and mappings Lambda calculus Function Combinatory logic Aterm Axiom Algorithm Ordinal number Mathematics Mathematical logic Logic

UPDATE